3.96/5.10	unsat
