27.14/31.06	unsat
