2.31/6.14	unsat
