26.68/27.23	unsat
