7.76/12.13	unsat
