46.44/46.75	unsat
