26.96/27.06	unsat
