12.76/14.23	unsat
