26.27/29.28	unsat
