14.06/14.14	unsat
