9.84/12.56	unsat
