12.76/14.12	unsat
