27.44/30.21	unsat
