27.44/27.57	unsat
