4.46/5.96	unsat
