9.56/12.46	unsat
