5.58/10.16	unsat
