5.07/8.06	unsat
