4.87/4.95	unsat
