4.90/5.00	unsat
