5.58/6.40	unsat
