9.58/13.03	unsat
