27.86/29.64	unsat
