46.66/46.70	unsat
