12.76/14.58	unsat
