5.87/7.06	unsat
