12.66/14.24	unsat
