12.17/12.99	unsat
