13.76/14.54	unsat
