4.86/5.00	unsat
