4.58/7.03	unsat
