27.84/30.75	unsat
