12.99/14.14	unsat
