21.44/26.32	unsat
