15.44/17.52	unsat
