8.97/10.39	unsat
