12.64/17.12	unsat
