4.98/6.06	unsat
