12.76/14.30	unsat
