12.17/12.31	unsat
