14.45/16.14	unsat
