12.26/14.68	unsat
