4.17/6.34	unsat
