8.56/11.47	unsat
