26.94/31.86	unsat
