14.36/16.14	unsat
