6.67/8.03	unsat
