15.58/22.68	unsat
