4.87/4.97	unsat
