4.88/8.06	unsat
