7.68/8.03	unsat
