5.77/9.06	unsat
