5.07/6.06	unsat
