5.97/6.06	unsat
