8.97/11.42	unsat
