5.17/6.14	unsat
