7.97/10.39	unsat
