5.87/5.95	unsat
