14.67/18.64	unsat
