7.97/8.03	unsat
