26.94/27.15	unsat
