12.17/12.98	unsat
