5.58/5.71	unsat
