5.58/6.44	unsat
