4.88/4.94	unsat
