27.91/30.64	unsat
