5.87/6.06	unsat
