14.34/16.14	unsat
