4.87/7.69	unsat
