8.48/10.46	unsat
