27.69/27.77	unsat
