4.87/5.49	unsat
