12.17/14.77	unsat
