27.44/30.08	unsat
