4.39/7.03	unsat
