26.97/27.49	unsat
