5.98/7.06	unsat
