13.76/14.73	unsat
