5.87/9.11	unsat
