5.68/9.03	unsat
