10.76/12.56	unsat
