4.87/5.50	unsat
